Controller Synthesis for Timed Automata 1
نویسندگان
چکیده
منابع مشابه
Controller Synthesis for Timed Automata
In this work we tackle the following problem given a timed automaton restrict its transition relation in a systematic way so that all the remaining behaviors satisfy certain properties This is an extension of the problem of controller synthesis for discrete event dynamical systems where in addition to choosing among actions the controller have the option of doing nothing and let the time pass T...
متن کاملRobust Controller Synthesis in Timed Automata
We consider the fundamental problem of Büchi acceptance in timed automata in a robust setting. The problem is formalised in terms of controller synthesis: timed automata are equipped with a parametrised game-based semantics that models the possible perturbations of the decisions taken by the controller. We characterise timed automata that are robustly controllable for some parameter, with a sim...
متن کاملSymbolic Minimum Expected Time Controller Synthesis for Probabilistic Timed Automata
In this paper we consider the problem of computing the minimum expected time to reach a target and the synthesis of the corresponding optimal controller for a probabilistic timed automaton (PTA). Although this problem admits solutions that employ the digital clocks abstraction or statistical model checking, symbolic methods based on zones and priced zones fail due to the difficulty of incorpora...
متن کاملCode Synthesis for Timed Automata
We present a framework for development of real-time embedded systems based on the recently presented model of timed automata extended with real-time tasks. It has been shown previously that design problems such as reachability and schedulability are decidable for the model of timed automata with tasks. In this paper we describe how to automatically synthesise executable code with predictable ti...
متن کاملNon - Interference Control Synthesis for Security Timed Automata 1 Guillaume
In this paper, the problem of synthesizing controllers that ensures non interference for multilevel security dense timed discrete event systems modeled by an extension of Timed Automata, is addressed for the first time. We first discuss a notion of non interference for dense real-time systems that refines notions existing in the literature and investigate decidability issues raised by the verif...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IFAC Proceedings Volumes
سال: 1998
ISSN: 1474-6670
DOI: 10.1016/s1474-6670(17)42032-5